Celestin Apprentice 5/Apprentice-Release5.iso/Source Code/C/Applications/Moscow ML 1.31/source code/mosml/src/test/test9.sml

Text File | 1996-07-03 | 630 b | 34 lines | [TEXT/R*ch]

type person = {name: string, age: int};
val p1 : person = {name = "Peter", age = 99};
val {name=name1, age=age1} = p1;
fun nameOfPerson {name=x, age=_} = x;
val name1 = nameOfPerson p1;
val {name,age} = p1;

val {name,...}:person = p1;
val {name : string as name1,...} = p1;

val f = fn {name=x,...}:person => x;

val name1 = #name p1;
val age1 = #age p1;


fun f {lab=v} = v+1;

let
  fun eq r1 r2 = (#l1 r1) = (#l1 r2)
  val t = eq {l1 = 1, l2 = 3}
             {l1 = 1, l3 = "a"}
in
  (eq, t)
end;

let
  val f = fn {l1 = x,...} => x
  val g = fn {l1 = x, l2 = y} => (x,y)
  val h = fn x => (x=x, f x, g x)
in
  (f, g, h)
end;